Close

1. Identity statement
Reference TypeJournal Article
Sitemtc-m21b.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identifier8JMKD3MGP3W34P/3L9LK8B
Repositorysid.inpe.br/mtc-m21b/2016/03.03.16.36   (restricted access)
Last Update2016:07.13.12.49.31 (UTC) simone
Metadata Repositorysid.inpe.br/mtc-m21b/2016/03.03.16.36.13
Metadata Last Update2018:06.04.02.40.36 (UTC) administrator
DOI10.1007/s11334-015-0267-1
ISSN1614-5046
Citation KeyRomeroSchnFerr:2016:SeSpSy
TitleSemantics in space systems architectures
Year2016
MonthMar.
Access Date2024, May 18
Type of Workjournal article
Secondary TypePRE PI
Number of Files1
Size431 KiB
2. Context
Author1 Romero, Alessandro Gerlinger
2 Schneider, Klaus
3 Ferreira, Mauricio Gonçalves Vieira
Resume Identifier1
2
3 8JMKD3MGP5W/3C9JHT8
Group1 CMC-ETES-SPG-INPE-MCTI-GOV-BR
2
3 CRC-CRC-INPE-MCTI-GOV-BR
Affiliation1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 University of Kaiserslautern
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1 romgerale@yahoo.com.br
2 klaus.schneider@cs.uni-kl.de
3 mauricio.ferreira@inpe.br
JournalInnovations in Systems and Software Engineering
Volume12
Number1
Pages27-40
Secondary MarkB3_INTERDISCIPLINAR B3_ENGENHARIAS_IV B3_ENGENHARIAS_III B3_CIÊNCIA_DA_COMPUTAÇÃO
History (UTC)2016-03-03 16:36:13 :: simone -> administrator ::
2016-07-04 12:29:58 :: administrator -> simone :: 2016
2016-12-22 14:29:22 :: simone -> administrator :: 2016
2018-06-04 02:40:36 :: administrator -> simone :: 2016
3. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
Content TypeExternal Contribution
Version Typefinaldraft
KeywordsUML
fUML
Synchronous
Modeling
UPDM
MODAF
DODAF
AbstractCosts, life cycles, technologies and agreements between stakeholders and organizations make space systems unique with respect to the complexity. A commonly accepted technique to address part of this complexity is to model and to maintain space systems architectures through the life cycle of their space programs. The benefits may range from supporting consistent model definitions and maintenance up to supporting analysis and verification. Space systems architectures have been modeled using UPDM (unified profile for DoDAF And MODAF; a UML profile). In fact, UPDM argues that it provides a clearer understanding of the semantics behind specific views and viewpoints. Nonetheless, while UML defines its semantics imprecisely using plain text and variation points, UPDM does not define any semantics. In this paper, we evaluate an extension of fUML (semantics of a foundational subset for executable UML models) as a semantics for space systems architectures. The extension of fUML as a synchronous language (synchronous fUML) provides a limited, but formally precise and deterministic, form to describe structure and behavior in UML. Through the combination of this semantics with UPDM, a precise language supporting a standardized meta-model emerges for the definition of space systems architectures. At the end, a simplified case study covering the operational view (OV-*) is presented. Our initial results show that synchronous fUML is able to offer a precise and deterministic semantics for UPDM.
AreaETES
Arrangement 1urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CMC > Semantics in space...
Arrangement 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Semantics in space...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Content
agreement.html 03/03/2016 13:36 1.0 KiB 
4. Conditions of access and use
Languageen
Target Fileromero_semantics.pdf
User Groupsimone
Reader Groupadministrator
simone
Visibilityshown
Read Permissiondeny from all and allow from 150.163
Update Permissionnot transferred
5. Allied materials
Linking8JMKD3MGP3W/3HD9A3H
Mirror Repositoryurlib.net/www/2011/03.29.20.55
Next Higher Units8JMKD3MGPCW/3F2UALS
8JMKD3MGPCW/3F3PAJE
Citing Item Listsid.inpe.br/mtc-m21/2012/07.13.14.56.30 3
sid.inpe.br/bibdigital/2013/10.14.00.13 2
sid.inpe.br/bibdigital/2013/10.19.00.29 1
DisseminationWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Host Collectionsid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notes
Empty Fieldsalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn label lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarytype url
7. Description control
e-Mail (login)simone
update 


Close